data Color = Red | Green | Blue